When a reasoning system adopts the closed world assumption, it assumes that all facts (within its domain) are present in its knowledge base. That is if a fact is not in the knowledge base, it is deemed to be false. The logic programming language Prolog adopts a closed world assumption.
Used on pages 22, 388, 390